From 3fcb8928310aa24696dd6e0c5350d263fd034518 Mon Sep 17 00:00:00 2001
From: Benjamin Otte <otte@redhat.com>
Date: Thu, 22 Jan 2015 14:32:38 +0100
Subject: [PATCH] headerbar: Implement clipping

---
 gtk/gtkheaderbar.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gtk/gtkheaderbar.c b/gtk/gtkheaderbar.c
index 63c05b8f2e..ecc6beac4c 100644
--- a/gtk/gtkheaderbar.c
+++ b/gtk/gtkheaderbar.c
@@ -1148,6 +1148,8 @@ gtk_header_bar_size_allocate (GtkWidget     *widget,
       child_allocation.width = end_width - priv->spacing;
       gtk_widget_size_allocate (priv->titlebar_end_box, &child_allocation);
     }
+
+  _gtk_widget_set_simple_clip (widget, NULL);
 }
 
 /**
-- 
2.30.2